The Logical Structure of Dialectical Systems
ثبت نشده
چکیده
In this essay I describe the abstract logic of dialectical systems. I recognize that my description may be too abstract (not to mention tentative) to be of much use by itself. Even so, it will be helpful for the reader’s general understanding of dialectical structures if I point out certain abstract, general features of them, and in any case I mean this description to be used in conjunction with the other references within this work to other, specific dialectical systems, shown in §II.
منابع مشابه
The Standard Aspect of Dialectical Logic
Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to introduce dynamic notions into logical computational systems. The fundamental notions of proposition and truthvalue in standard logic are subsumed by the notions of process and flow in dialectical logic. Dialectical logic has a standard aspect, which can be defined in terms of the “local cartesian closu...
متن کاملA duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
متن کاملDefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
Assumptions are often not considered to be definitely true, but only as prima facie justified. When an assumption is prima facie justified, there can for instance be a reason against it, by which the assumption is not actually justified. The assumption is then said to be defeated. This requires a revision of the standard conception of logical interpretation of sets of assumptions in terms of th...
متن کاملDialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report)
In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format. This format is the abstract theory developed by Dung, Kowalski and others. A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible. The proof theory could serve as thèlogical core' ...
متن کاملArgumentation structures that integrate dialectical and non-dialectical reasoning
Argumentation concepts have been applied to numerous knowledge engineering endeavours in recent years. For example, a variety of logics have been developed to represent argumentation in the context of a dialectical situation such as a dialogue. In contrast to the dialectical approach, argumentation has also been used to structure knowledge. This can be seen as a non-dialectical approach. The To...
متن کامل